Fundraising September 15, 2024 – October 1, 2024 About fundraising
2
Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer

Schwichtenberg, Helmut, Wainer, Stanley S
Year:
2012
Language:
english
File:
PDF, 2.20 MB
0 / 0
english, 2012
3
Basic proof theory

Basic proof theory

A S Troelstra, Helmut Schwichtenberg
Year:
2000
Language:
english
File:
DJVU, 3.32 MB
0 / 0
english, 2000
5
Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)
Year:
1999
Language:
english
File:
PDF, 13.23 MB
0 / 0
english, 1999
6
Computational Logic

Computational Logic

Ulrich Berger, Helmut Schwichtenberg (eds.)
Year:
1999
Language:
english
File:
DJVU, 4.02 MB
0 / 0
english, 1999
7
Handbook of Constructive Mathematics

Handbook of Constructive Mathematics

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
Year:
2023
Language:
english
File:
PDF, 16.59 MB
0 / 5.0
english, 2023
9
Handbook of Constructive Mathematics

Handbook of Constructive Mathematics

Douglas Bridges, Hajime Ishihara, Michael Rathjen, Helmut Schwichtenberg
Year:
2023
Language:
english
File:
PDF, 5.99 MB
0 / 4.0
english, 2023
12
Logic of Computation

Logic of Computation

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)
Year:
1997
Language:
english
File:
PDF, 12.55 MB
0 / 0
english, 1997
14
Proof and System-Reliability

Proof and System-Reliability

G. Hamrin, V. Stoltenberg-Hansen (auth.), Helmut Schwichtenberg, Ralf Steinbrüggen (eds.)
Year:
2002
Language:
english
File:
PDF, 12.35 MB
0 / 0
english, 2002
16
Proof and Computation

Proof and Computation

Ulrich Berger, Helmut Schwichtenberg (auth.), Helmut Schwichtenberg (eds.)
Year:
1995
Language:
english
File:
PDF, 33.16 MB
0 / 0
english, 1995
18
Logic of Computation

Logic of Computation

Peter Aczel (auth.), Helmut Schwichtenberg (eds.)
Year:
1997
Language:
english
File:
DJVU, 3.21 MB
0 / 0
english, 1997